GHCi 交互式环境使用

概述

GHCi（Glasgow Haskell Compiler interactive）是 Haskell 编程语言的交互式环境，允许用户直接在命令行中编写和执行 Haskell 代码。它是一个强大的工具，适合初学者学习和实验 Haskell 的基本概念，也适合有经验的开发者进行快速原型设计和调试。

启动 GHCi

安装 Haskell

在开始使用 GHCi 之前，你需要确保已经安装了 Haskell 编译器和相关工具。你可以通过以下命令来安装 Haskell：

$ curl -sSL https://get.haskellstack.org/ | sh

或者使用包管理器安装 GHC 和 Stack。

启动 GHCi

安装完成后，你可以通过以下命令启动 GHCi：

$ ghci

启动后，你会看到类似以下的欢迎信息：

GHCi, version 8.10.7: https://www.haskell.org/ghc/  :? for help
Prelude>

Prelude> 是 GHCi 的提示符，表示你可以开始输入 Haskell 代码。

基本操作

加载和运行 Haskell 文件

你可以通过 :load 命令（简写为 :l）加载一个 Haskell 文件，并在 GHCi 中运行它：

:load myfile.hs

加载后，你可以直接在 GHCi 中调用文件中定义的函数。

重新加载文件

如果你对文件进行了修改，可以使用 :reload 命令（简写为 :r）重新加载文件：

:reload

查看帮助

你可以通过 :? 命令查看 GHCi 的帮助信息，了解所有可用的命令。

退出 GHCi

要退出 GHCi，可以使用 :quit 命令（简写为 :q）：

:quit

基本语法和类型系统

变量和表达式

在 GHCi 中，你可以直接定义变量并计算表达式：

Prelude> let x = 5
Prelude> x + 3
8

函数定义

你也可以在 GHCi 中定义简单的函数：

Prelude> let add x y = x + y
Prelude> add 3 4
7

类型推导

Haskell 具有强大的类型推导系统，可以自动推导出变量和函数的类型。你可以使用 :type 命令（简写为 :t）查看表达式的类型：

Prelude> :t add
add :: Num a => a -> a -> a

实践练习

练习 1：计算圆的面积

定义一个函数 circleArea，接受一个半径 r，并返回圆的面积。使用 pi 常量（定义在 Prelude 模块中）。

Prelude> let circleArea r = pi * r ^ 2
Prelude> circleArea 5
78.53981633974483

练习 2：斐波那契数列

定义一个递归函数 fib，计算斐波那契数列的第 n 项。

Prelude> let fib 0 = 0
Prelude> let fib 1 = 1
Prelude> let fib n = fib (n - 1) + fib (n - 2)
Prelude> fib 10
55

练习 3：列表操作

定义一个函数 doubleList，接受一个整数列表，并返回每个元素加倍后的列表。

Prelude> let doubleList xs = map (*2) xs
Prelude> doubleList [1, 2, 3, 4]
[2, 4, 6, 8]

总结

GHCi 是一个强大的交互式环境，适合学习和实验 Haskell 编程。通过本教程，你应该已经掌握了如何启动 GHCi、加载和运行 Haskell 文件、定义变量和函数、以及进行基本的类型推导。继续探索 GHCi 的功能，你将能够更深入地理解 Haskell 的强大特性。

下一步

在掌握了 GHCi 的基本使用后，你可以继续学习 Haskell 的函数定义和应用、基本数据类型、类型推导、多态类型等内容。这些知识将帮助你构建更复杂的 Haskell 程序。